Buy Used and New Mark Aagaard Books

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings: 1869 (Lecture Notes in Computer Science)

by John Harrison,Mark Aagaard

ISBN 13: 9783540678632

Format: Paperback (546 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later